1. Algorithms -- ESA '96 :
پدیدآورنده : edited by Josep Diaz, Maria Serna.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Data structures (Computer science)

2. Automata, Languages and Programming :
پدیدآورنده : edited by Josep Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming.,Computer science.,Computers.

3. Automata, languages and programming : 31st international colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
پدیدآورنده : ]edited by[ Josep Diaz .. ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Copngresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3142


4. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
پدیدآورنده : edited by J. Diaz and I. Ramos
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
107


5. Handbook of electoral system choice /
پدیدآورنده : edited by Josep M. Colomer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Comparative government.,Elections.,Élections.,Institutions politiques comparées.,89.57 political participation.,Comparative government.,Elections.,Kiesstelsels.,Wahl,Wahlsystem
رده :
JF1001
.
H26
2004

